1. A VLSI architecture for concurrent data structures
Author: Dally, William J.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Circuits,، Integrated circuits- Very large scale integration,، Computer architecture
2. A VLSI architecture for concurrent data structures
Author: / by William J. Dally
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers -circuits,Integrated circuits-Very large scale in tegration,Computer architecture
Classification :
621
.
395
D147V
3. Advanced industrial control technology
Author: Peng Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Process control.
Classification :
TS156
.
8
.
Z53
2010
4. Advanced industrial control technology
Author: Peng Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Process control.
Classification :
TS156
.
8
.
Z53
2010
5. Aircraft Electrical and Electronic Systems /
Author: David Wyatt and Mike Tooley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Airplanes-- Electric equipment.,Airplanes-- Electronic equipment.,Avionics.,Airplanes-- Electric equipment.,Airplanes-- Electronic equipment.,Avionics.,TECHNOLOGY & ENGINEERING-- Engineering (General)
Classification :
TL690
6. Analog circuit design
Author: / edited by J.H. Huijsing, Michiel Steyaert and Arthur van Roermund
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Actuators -- Design and construction,Analog-to-digital converters -- Design and construction,Detectors -- Design and construction,Electronic analog computers -- Circuits -- Design,Integrated circuits--Design and construction,Linear integrated circuits--Design and construction
Classification :
TK
7814
.
654
.
W67
2004
7. Area-efficient VLSI computation
Author: Leiserson, Charles Eric
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Circuits,، Integrated circuits-- Very large scale integration
Classification :
TK
7888
.
4
.
L44
1983
8. Area-efficient vlsi computation
Author: LEISERSON,CHARLES ERIC
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-CIRCUITS , INTEGRATED CIRCUITS-VERY LARGE SCALE
Classification :
TK
7888
.
4
.
L44
9. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
Author: G. v. Bochmann, D.K. Probst, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
Classification :
QA
76
.
76
.
V47
C38
1993
10. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Author: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
2725
11. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
Author: Rajeev Alur, Doron A. Peled )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
3114
12. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Author: Kousha Etessami, Sriram K. Rajamani )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
3576
13. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Author: Rajeev Alur, Thomas A. Henzinger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1102
14. Contemporary logic design
Author: / Randy H. Katz, Gaetano Borriello
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic digital computers- Circuits- Design,Integrated circuits- Very large scale integration- Design- Data processing,Logic design- Data processing,Computer-aided design
Classification :
E-BOOK
15. Contemporary logic design
Author: Katz, Randy H.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Circuits -- Design ، Electronic digital computers,Very large scale integration -- Design ، Integrated circuits,Logic design -- Data processing ، Data processing,، Computer-aided design
Classification :
TK
7888
.
4
.
K36
2005
16. Contemporary logic design
Author: / Randy H. Katz, Gaetano Borriello
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers,Integrated circuits,Logic design,Computer-aided design,-- Circuits Design,-- Very large scale integration -- Design -- Data processing,-- Data processing
Classification :
621
.
395
K19C
2005
17. Contemporary logic design
Author: / Randy H. Katz, Gaetano Borriello
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Electronic digital computers--Circuits--Design,Integrated circuits--Very large scale integration--Design--Data processing,Logic design--Data processing,Computer-aided design
Classification :
TK7888
.
4
.
k36
18. Contemporary logic design
Author: Katz, Randy H
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Circuits-- Design,، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Computer-aided design
Classification :
TK
7888
.
4
.
K36
1994
19. Contemporary logic design
Author: Katz, Randy H.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Circuits Design,، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Computer-aided design
Classification :
TK
7888
.
4
.
K36
2005
20. Contemporary logic design
Author: Katz, Randy H.,5591-, Randy H. Katz
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Electronic digital computers- Circuits- Design,، Integrated circuits- Very large scale integration- Design- Data processing,، Logic design- Data processing,، Computer-aided design
Classification :
TK
7888
.
4
.
K36
